Make uint64_aligned_t and GUEST_HANDLE_64 visible to guests.
authorKeir Fraser <keir.fraser@citrix.com>
Wed, 1 Sep 2010 09:17:16 +0000 (10:17 +0100)
committerKeir Fraser <keir.fraser@citrix.com>
Wed, 1 Sep 2010 09:17:16 +0000 (10:17 +0100)
commit03634129fb63cac096c0c92ec5404738aa523119
tree4fdc69f78faa7651a87c6d6fbbdc308a86f4d8cf
parentbbfcb03ac21705edc6b9f8e6abfddfff109de514
Make uint64_aligned_t and GUEST_HANDLE_64 visible to guests.

No reason to hide them and they're useful for building 32/64-bit
invariant hypercall structures.

Signed-off-by: Keir Fraser <keir.fraser@citrix.com>
xen/include/public/arch-x86/xen-x86_32.h
xen/include/public/xen.h